3

Process algebras for systems diagnosis

Year:
2002
Language:
english
File:
PDF, 262 KB
english, 2002
4

Integrating TwoTowers and GreatSPN through a compact net semantics

Year:
2002
Language:
english
File:
PDF, 309 KB
english, 2002
5

PEPA nets: a structured performance modelling formalism

Year:
2003
Language:
english
File:
PDF, 311 KB
english, 2003
11

Software performance modelling using PEPA nets

Year:
2004
Language:
english
File:
PDF, 1.10 MB
english, 2004